منابع مشابه
Diagrammatic Autarchy
This paper explores the notion of autarchy of diagrammatic notations for logic debated in the Germanspeaking world of the 18-century, especially as applied to linear diagrams invented by G. W. Leibniz and J. H. Lambert. Keywords— linear diagrams; autarchy; Leibniz; Lambert; Ploucquet
متن کاملDiagrammatic Proofs
Diagrammatic reasoning comprises phenomena that range from the so-called "free-rides" (e.g. almost immediate understanding of visually perceived relationships) to conventions about tokens. Such reasoning must involve cognitive processes that are highly perceptual in content. In the domain of mathematical proofs where diagrams have had a long history, we have an opportunity to investigate in det...
متن کاملDiagrammatic Inference
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which is seen as a Yoneda functor on a bicategory of fractions. A diagrammatic logic is defined from a morphism of limit sketches (called a propagator) which gives rise to an adjunction, which in turn determines a bicategory o...
متن کاملOn ~-reducibility versus Polynomial Time Many-one Reducibility*
We prove that each element of a class of f,anctions (denoted by NPCtP), whose graphs can be accepted in nondeterministic polynomial time, can be evaluated in deterministic polynomial time if and only if '/-reducibility is equivalent to polynomial time many-one reducibility. We also modify the proof technique used to obtain part of this result to obtain the stronger result that if every ,/-reduc...
متن کاملDiagrammatic Reasoning by Simulation
Humans employ diagrams and other pictures, both real and imagined, as aids to reasoning, and many kinds of problems are solved by an interaction between perception-like processing and verbal reasoning. My research is exploring computational explanations of this interaction. The use of diagrams is in part a form of spatial reasoning, which is the use of representations of objects in space for pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2020
ISSN: 0166-8641
DOI: 10.1016/j.topol.2020.107307